181. Proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Computer science,Congresses ، Computer programming,Congresses ، Logic, Symbolic and mathematical,Correctness ، Computer programs
Classification :
QA
75
.
5
.
S9574a
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
182. Proceedings ... Symposium on Computer Arithmetic
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Computer arithmetic,Congresses ، Computer programming,Congresses ، Floating-point arithmetic,Congresses ، Computer arithmetic and logic units
Classification :
QA
76
.
9
.
C62
.
S95a
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
183. Program development in computational logic : a decade of research advances in logic-based program development
Author: Maurice Bruynooghe, Kung-Kiu Lau )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Computer programming,Congresses ، Computer logic
Classification :
QA
76
.
L28
Vol
.
3049
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
184. Programming language implementation and logic programming :
Author: P. Deransart, J. Małuszyński, eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming, Congresses.,Programming languages (Electronic computers), Congresses.
Classification :
QA76
.
7
.
I59
1990
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
185. Programming language implementation and logic programming : International Workshop PLILP'90, Linkنping, Sweden, August 20-22, 1990 : proceedings
Author: P. Deransart, J. Maluszynski, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
456
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
186. Programming language implementation and logic programming : proceedings
Author: International Workshop PLILP '09 )0991: Linkoping, Sweden(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Congresses,، Logic programming-- Congresses
Classification :
QA
76
.
7
.
I59
1990
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
187. Programming language implementation and logic programming : 3rd International Symposium, PLILP'91, Passau,Germany, August 26-28, 1991 :proceedings
Author: J. Maluszynski, M. Wirsing, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
528
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
188. Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Congresses,، Logic programming-- Congresses
Classification :
QA
76
.
7
.
I5773
1991
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
189. Programming language implementation and logic programming : 4th International Symposium, Leuven, Belgium, 1992 : proceedings
Author: M. Bruynooghe, M. Wirsing )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
631
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
190. Programming language implementation and logic programming : 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings
Author: International Symposium, PLILP '29 )4th: 2991: Leuven, Belgium(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Congresses,، Logic programming-- Congresses
Classification :
QA
76
.
7
.
I5773
1992
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
191. Programming language implementation and logic programming : 6th International Symposium, PLILP'94, Madrid, Spain, September 14 - 16, 1994 : proceedings
Author: Manuel Hermenegildo, Jaan Penjam )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
844
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
192. Programming language implementation and logic programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 1993 : proceedings
Author: International Symposium, PLILP '39 )5th: 3991: Tallinn, Estonia(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Congresses,، Logic programming-- Congresses
Classification :
QA
76
.
7
.
I5773
1993
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
193. Programming language implementation and logic programming : 5th International Symposium, PLILP'93, Tallinn, Estonia, August 1993 : proceedings
Author: Maurice Bruynooghe, Jaan Penjam, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
714
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
194. Programming languages implementation and logic programming
Author: International Workshop PLILP '88 )8891: Orleans, France(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Congresses,، Logic programming-- Congresses
Classification :
QA
76
.
7
.
I59
1988
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
195. Programming languages implementation and logic programming : International Workshop PLILP'88, Orleans, France, May 16-18, 1988, Proceedings
Author: P. Deransart, B. Lorho, J. Maluszynski )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
348
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
196. Programming languages : implementations, logics and programs: 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996 : proceedings
Author: Herbert Kuchen, S. Doaitse Swierstra )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
1140
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
197. Programming languages : implementations, logics and programs : 7th International Symposium, PLILP'95 Utrecht, The Netherlands, September 20 - 22, 1995 : proceedings
Author: Manuel Hermenegildo, S. Doaitse Swierstra )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
982
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
198. Proof and computation
Author: edited by Helmut Schwichtenberg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Programmation logique -- Congrès.
Classification :
QA76
.
63
E358
1995
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
199. Proof and computation
Author: edited by Helmut Schwichtenberg
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
63
.
P74
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
200. Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003 : selected papers
Author: Krzysztof R. Apt...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
3010
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)